Set Complement

The complement of a set \(A\) is defined as the set of everything which is not in \(A\)

Here \(\mathcal{U}\) denotes the universal set, which is sometimes explicitly named, and sometimes implied, and includes all objects that are relevant to the current context.